Verification of Agent-Based Artifact Systems
نویسندگان
چکیده
منابع مشابه
Verification of Agent-Based Artifact Systems
Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts’ states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisatio...
متن کاملVerification of GSM-Based Artifact-Centric Systems through Finite Abstraction
The GSM framework provides a methodology for the development of artifact-centric systems, an increasingly popular paradigm in service-oriented computing. In this paper we tackle the problem of verifying GSM programs in a multi-agent system setting. We provide an embedding from GSM into a suitable multi-agent systems semantics for reasoning about knowledge and time at the first-order level. Whil...
متن کاملVerification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
Artifact-centric systems are a recent paradigm to model and implement business workflows. They describe data, processes, internal and external agents and include mechanisms for data hiding and access control. GSM is a language for the implementation of artifact-centric systems. Since GSM programs have infinitely many states, their verification is challenging. We here present a predicate abstrac...
متن کاملVerification of Multiple Agent Knowledge-Based Systems
The purpose of this paper is to extend verification tests to systems with multiple autonomous agent knowledge bases. Using a classic approach to verification, this paper focuses on tests concerned with consistency, completeness and correctness. In particular, this paper focuses on those unique issues that are generated as we go from single agent systems to multiple agent systems. This paper is ...
متن کاملPractical Verification of Hierarchical Artifact Systems
Data-driven workflows, of which IBM’s Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present research bridges the gap between the theory and practice of artifact verification by studying the implementation of a full-fledged and e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2014
ISSN: 1076-9757
DOI: 10.1613/jair.4424